{"entities":{"Q7302264":{"pageid":31227298,"ns":120,"title":"Item:Q7302264","lastrevid":105074392,"modified":"2026-09-16T09:37:58Z","type":"item","id":"Q7302264","labels":{"en":{"language":"en","value":"First-order implication-space semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8229491"}},"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":"Q7302264$5B12C74D-D4F1-4F9B-B3CB-7681B0C5D7C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4317452bb47f1ea7f800f6feb3bd5f3b3e55b87","datavalue":{"value":{"text":"First-order implication-space semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7302264$982A32CD-FC86-4A12-A527-EA425C2A1E4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bf1c108adeff8471f0ed7f36d395cfe8a39ab5e","datavalue":{"value":"10.1007/S10992-026-09841-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7302264$7C73C6EE-85E8-4ECC-9294-E1A8748A7342","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9320857c4e9aaf28554aa8d715c6d143edc48f4a","datavalue":{"value":{"entity-type":"item","numeric-id":2052636,"id":"Q2052636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7302264$EE283E56-109B-4EBD-AE81-3388283CEE23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7302264$B6225451-712B-4F88-B58D-D39C7A31321F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"159f73e5e1c532593c2d438aa7d9b0d01c8b5a3a","datavalue":{"value":{"time":"+2026-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7302264$14D5E2EA-83AE-4C35-B274-C049E78F2DCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7302264$78943D84-123E-49F7-944A-2238FDCC02A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"235e252f05043b56e09dc9cb7ae8fafeedcd1d74","datavalue":{"value":"8229491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7302264$F5B5F79A-769E-4C50-B4F7-8FE7F45B520B","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":"Q7302264$5F9984EA-3BD7-430D-A16F-7BC39A2E9F67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7302264$9BC8C59B-98E6-4F95-B24C-7EDF9CA9B693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5a8c7a583eaf003f524a7c34ff42511c9a01245","datavalue":{"value":{"entity-type":"item","numeric-id":543530,"id":"Q543530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7302264$882DAB1A-5F0B-4843-AD74-2AEFF6EF16C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db6e49234b21e9e1e922fa70157acf0a16687b22","datavalue":{"value":{"entity-type":"item","numeric-id":4952020,"id":"Q4952020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7302264$A843A4E7-4B9E-43BE-9A73-9F4ECC706FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b609f1444c9358ed3e8d9f6cc1e187b1b2f37c3","datavalue":{"value":{"entity-type":"item","numeric-id":427233,"id":"Q427233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7302264$2CFF1DEA-7A1D-4C3F-A56F-60B83F67152D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd4fe078402ae4d23269474c9171faf3a7ed586","datavalue":{"value":{"entity-type":"item","numeric-id":5483305,"id":"Q5483305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7302264$7BBA659F-331A-469B-A0B2-CA31F0A9A15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c760311f7ad4ddb4d4c509394a71f69cd472746","datavalue":{"value":{"entity-type":"item","numeric-id":6623815,"id":"Q6623815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7302264$1378CBF6-FB44-4D8A-8FD3-39FC099AD5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b14f2229475ed79b2733027c94f0c357925661d","datavalue":{"value":{"entity-type":"item","numeric-id":1037601,"id":"Q1037601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7302264$FE778C40-1445-4D69-A852-247E98B312AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order implication-space semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_implication-space_semantics"}}}}}