{"entities":{"Q5351988":{"pageid":7381562,"ns":120,"title":"Item:Q5351988","lastrevid":52889723,"modified":"2026-01-23T17:52:26Z","type":"item","id":"Q5351988","labels":{"en":{"language":"en","value":"Binding forms in first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767624"}},"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":"Q5351988$4E528B82-37EF-40A2-A466-D937B4726307","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5ccc5e488a74e8ab7f72e657d5a25ac8b95f957","datavalue":{"value":"1373.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351988$F5BF7D4F-FD47-46C8-A6ED-2AEBE2478C3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b79e7dfe19010a2a7fb9a4094963f88655e7110","datavalue":{"value":{"entity-type":"item","numeric-id":357124,"id":"Q357124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351988$ECC38FE9-4A43-461A-B6C2-DB89E631158D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"752e5be1447898a2ac61f3a9737d4a015411a19d","datavalue":{"value":{"entity-type":"item","numeric-id":314470,"id":"Q314470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351988$F74BB181-B166-4308-ABFD-4FB1D334CCF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351988$E44CFAB4-3AEB-41A6-A6C1-A246AC29373A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351988$74069376-6606-4ED5-90E9-D0AE69D58731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351988$053C27A3-A50C-404C-AA13-A3338BAA1A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351988$4AC61182-5766-4EE2-A7CA-CE54DC42BA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351988$F21BE34B-2BF0-490A-A16C-984CF786E509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351988$8A77F601-5B51-42FA-B34A-179D918CB2E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40e13a5158f345f8cee608831e88a53751689e42","datavalue":{"value":"6767624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351988$D1FCD947-2F0F-465F-9AF5-BEE4CE060851","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351988$C779785D-E131-48A5-AC11-722BB092797D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5033d3ae012d6c81208806815167a477d503a7c9","datavalue":{"value":"decidable fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351988$59658982-18F2-4A8A-988D-4EE0834E6C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351988$E8600B33-1323-4A3E-AB27-852DFEB26EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351988$8CDCDDBA-67A8-42FF-A3B5-CCE133D417DF","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":"Q5351988$D08918BF-787C-4FB3-A6DC-E3973D1F64E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8348caf0e54983f27a31c4e9f57780af68ca2db5","datavalue":{"value":"http://dx.doi.org/10.4230/LIPIcs.CSL.2015.648","type":"string"},"datatype":"url"},"type":"statement","id":"Q5351988$1A9A7617-8EC3-44E2-A71F-C4EF52163491","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6229e16ad9bc992590f7f825c09490ffabd477e7","datavalue":{"value":"W2252339295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351988$E139B32A-F61B-434F-B034-53646D6E0D91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91e3828ce0964fdced9e682a0d047f983760d801","datavalue":{"value":{"text":"Binding Forms in First-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5351988$A90CB678-552C-4D47-B071-C38E87F03700","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4947131f1b0b15b2b094e960577840d65e1fddce","datavalue":{"value":"10.4230/LIPICS.CSL.2015.648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351988$E92A0C8E-5B7A-470B-AF38-71B718C9C8C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14831d2027db8a13d78a2961dc6bb1f3a733e9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6ee4776afa6ddfb136466ac3200b9bc1732dff","datavalue":{"value":{"amount":"+0.7642968893051147","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":"Q5351988$7D44299A-6EF8-4329-854F-5E6ACA3A898F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc2a0541dd8d42aa329e909bd46f32125086542","datavalue":{"value":{"entity-type":"item","numeric-id":2804339,"id":"Q2804339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f42be048b226eb4b75c5865f8d5b3e2346ce7304","datavalue":{"value":{"amount":"+0.7632441520690918","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":"Q5351988$E8E01FFD-E444-4B80-B0C0-C2ECF0070F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23e8b540c1a08ebd55f144dbf5747bc35fe6ab2","datavalue":{"value":{"entity-type":"item","numeric-id":4383703,"id":"Q4383703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3e8acc40c1aed7d0f609e26fcaeb6d77db270f","datavalue":{"value":{"amount":"+0.7479057908058167","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":"Q5351988$FA149245-462E-4C17-9C03-3D24A17399A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1e986817c9395337ea09381cad7944d529303a","datavalue":{"value":{"entity-type":"item","numeric-id":4250042,"id":"Q4250042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3e8acc40c1aed7d0f609e26fcaeb6d77db270f","datavalue":{"value":{"amount":"+0.7479057908058167","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":"Q5351988$78FE7916-BCC9-40DB-A369-88EE011563E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5c3db24506ffc6318870206026a901a8de8338","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f1039bb30becd80b76330b6de12c88ec2f6fbc","datavalue":{"value":{"amount":"+0.7361260056495667","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":"Q5351988$9EE5AF23-24A3-4522-B62D-1246B6F1915D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5351988","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5351988"}}}}}