{"entities":{"Q5687319":{"pageid":7716879,"ns":120,"title":"Item:Q5687319","lastrevid":101669033,"modified":"2026-06-06T02:10:32Z","type":"item","id":"Q5687319","labels":{"en":{"language":"en","value":"Relational and partial variable sets and basic predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 957322"}},"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":"Q5687319$F48E8B12-B2F5-4FC3-866D-A2A3669CFD58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9289c66da14bc73b101ac27afff409f6f40ba58d","datavalue":{"value":{"text":"Relational and partial variable sets and basic predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5687319$98F86C8C-2491-403A-9801-719CDF4B5C0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eac06ceaafc87ab6f7793ed06ddfcbb889152d53","datavalue":{"value":"0860.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687319$F114B661-103D-446C-B11B-068A1053D3CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff2db45690ece2c2c2fbe4f153f3e16b5755184d","datavalue":{"value":"10.2307/2275788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687319$C5C71B71-64DA-489D-84C7-A238F1DE62D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687319$307B4755-FCF2-469E-8983-A82BDCD2FED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a5bcbbe1fe9e5c4428cf5c852d22bc97b7fee39","datavalue":{"value":{"entity-type":"item","numeric-id":1361245,"id":"Q1361245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687319$886B98CB-791E-4C5A-9252-C7B9FAC1A03F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687319$8BA643B4-08AC-471E-9704-E6FC8442C327","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a3b5a9efe7c2b0af45014150315aa177e1f6d5f","datavalue":{"value":{"time":"+1997-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5687319$1BBB294E-AEBD-49DE-AD63-3797D1A56EC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687319$9699D06A-6E50-441B-9D2C-99B721EA3C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687319$FCE93909-6D7D-453F-BAC3-35F39AFC6F0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4aa6f321b5eb8b72327a32173d4d47ccb4b200af","datavalue":{"value":"957322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687319$27623B7F-6015-42B9-86FA-66030E58BF5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bb1666c39f46b593da3eb126aed227564722a2e","datavalue":{"value":"presheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687319$7BCDA597-4158-4AC7-8B74-46C6FC677C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"217bfec704c4a428986fc53eeaccda2c606e9452","datavalue":{"value":"doctrine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687319$F24EE6A1-1F31-4A54-890F-06B0FBED9DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1407d175cf1a72bf1acd36e5e673ee46e2bdb982","datavalue":{"value":"Beck condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687319$F858296B-6F46-4451-A787-D53A5A7F253A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"483fcf8a906dba706da1f6c10a5e4eea44656da7","datavalue":{"value":"Frobenius condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687319$0A872C7F-B61D-4CEE-BA54-ECBAAE80068F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100d38c868f1e56378c3753f2de069035f85a247","datavalue":{"value":"relational variable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687319$7D839E49-ACD5-4862-8F46-0F0546713AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e63f6c5c2829785becbcb92508116771fd82c872","datavalue":{"value":"first-order intuitionistic and co-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687319$DFC076FF-332C-45D2-9B0C-623B629C78D1","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":"Q5687319$15E836E2-EE9D-4359-B26A-0C19002C5871","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ea7b82e037845890272fcc2e07425340ab5eeec","datavalue":{"value":"https://doi.org/10.2307/2275788","type":"string"},"datatype":"url"},"type":"statement","id":"Q5687319$9419628D-D333-4920-9FCD-2BB16531BA19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c18c61c328b77f055c8a2199adda52b8ac6be337","datavalue":{"value":"W2118097562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687319$414F37B0-C7D6-4EDE-9D12-71AD665878ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c2baf1562936fc1abc53b1111457758046b6621","datavalue":{"value":{"entity-type":"item","numeric-id":1121258,"id":"Q1121258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63abd24ac420f68ba864cb525a76fbce97c62a8b","datavalue":{"value":{"amount":"+0.7128803133964539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5687319$559FC587-3792-4670-B82C-62DF148B308C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ddf3474273013aa86ea89bc7579b538b35f2abf","datavalue":{"value":{"entity-type":"item","numeric-id":497872,"id":"Q497872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063157840122cfe0dcae8d77645d7f9d7fbf18f1","datavalue":{"value":{"amount":"+0.7012867331504822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5687319$2384EA5A-0341-4AFC-9D9F-EFC3D94069FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0cb8ffc18aa97e9f66ef225dc95542110c8c4e","datavalue":{"value":{"entity-type":"item","numeric-id":3577748,"id":"Q3577748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87134d9ac97db5faf0e5aea11676165e375f44b8","datavalue":{"value":{"amount":"+0.7002811431884766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5687319$0A986C02-071D-46B9-AC0A-E282748E094E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4bab13d7f482db501a84e7faa14afcb9812711","datavalue":{"value":{"entity-type":"item","numeric-id":2849433,"id":"Q2849433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ab1f099915480bb9886053123c832141819dc5","datavalue":{"value":{"amount":"+0.6995930671691895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5687319$236359B4-B9B1-4813-9231-25FFB804AC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b583cc996c663254efb6b20a66488980023e11","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1bc480811ba344c085da779fdcc3e7214f0e584","datavalue":{"value":{"amount":"+0.6995773315429688","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5687319$A3B51FBA-E8BF-4BC6-AD5A-E0EA6E9BA06F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational and partial variable sets and basic predicate logic","badges":[]}}}}}