{"entities":{"Q2554322":{"pageid":2565065,"ns":120,"title":"Item:Q2554322","lastrevid":79025597,"modified":"2026-05-06T12:58:40Z","type":"item","id":"Q2554322","labels":{"en":{"language":"en","value":"Semantics for the sentential calculus with identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3383981"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2554322$94E3438D-77D9-484C-8863-24C691AFBEC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e1dcad40cfb47c616de1a9a5292def1f6a33e5d","datavalue":{"value":{"text":"Semantics for the sentential calculus with identity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2554322$29031786-30A6-45A1-A61B-A0CA47399A37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9192c4349b5d54fde181da670770537a2b53fd59","datavalue":{"value":"0243.02016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2554322$D8A472E3-4906-4C9B-8197-464D611950AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ef740050514cde69a2dcc51cf65de290b817199","datavalue":{"value":"10.1007/BF02124265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2554322$DA30B68F-6581-4835-84A8-C369EA0D0782","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8a37106204b8df07e822047b49d4ca05495cf2","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2554322$6ECDD513-7551-4A52-A0BB-434131D0EF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23ea4c501f96a3c6bc3ec4492495280552e21641","datavalue":{"value":{"entity-type":"item","numeric-id":758986,"id":"Q758986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2554322$5E9AF5DD-B1E4-4DCF-AA62-2FC6D9667BE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2554322$20B3DBE4-34A0-4509-9813-7471DE02B954","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2554322$2B3A205A-380A-4919-B864-EE8685EA920C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2554322$85866C26-4F8A-470A-BC9A-ECE160D56B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2554322$CEDBF0D8-1F84-43AD-A6C4-9B806A643757","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f2bff7bcfe5f5020d5f9ff5c2ae5e6f5ab0ce2b","datavalue":{"value":"3383981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2554322$7E8FBB9E-5EAC-4241-9CDF-3FD6F945B276","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2554322$F139E92C-8A17-4952-9E18-345E99CB86CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e68de368fb8d286319cbe25289d5f0386dbda2","datavalue":{"value":{"entity-type":"item","numeric-id":2537104,"id":"Q2537104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2554322$56025B7B-AACF-4943-9626-582915362549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2554322$578A2774-F443-4956-AFE1-81A62ABF5966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a256a3a7f412a2bb41dfbbdefbd3674b427f63a1","datavalue":{"value":{"entity-type":"item","numeric-id":2540012,"id":"Q2540012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2554322$BAED821A-FB04-4CB4-9DE2-2BC979D27717","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics for the sentential calculus with identity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_for_the_sentential_calculus_with_identity"}}}}}