{"entities":{"Q3525657":{"pageid":5555561,"ns":120,"title":"Item:Q3525657","lastrevid":88459583,"modified":"2026-06-04T14:34:53Z","type":"item","id":"Q3525657","labels":{"en":{"language":"en","value":"Temporal Antecedent Failure: Refining Vacuity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344944"}},"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":"Q3525657$5D56BC68-A772-48EC-A89F-5A6F6CAA967A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1883abadbc470d334ae9c80923d366f6bc85f17","datavalue":{"value":{"text":"Temporal Antecedent Failure: Refining Vacuity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525657$7D51759B-9394-4902-8120-951D090F4CB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5553a66724a43ef5b2ea756ac753c1ec4e3e4af","datavalue":{"value":"1151.68469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525657$52946BE6-259C-45A1-853A-80E5B23F2E23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1eeb46d5b27f37112d694cb41517aaec5c4dfb5e","datavalue":{"value":"10.1007/978-3-540-74407-8_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525657$57FEB6FC-5806-4A7E-80BF-8E3C1D290163","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a222b4bdb24a66472f749f6e714791fe85ebf5e2","datavalue":{"value":{"entity-type":"item","numeric-id":202472,"id":"Q202472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525657$F7BA6A34-C326-41DA-BD07-B2F2B3A0FC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ec5145617683a72c465241950a1a3fd51da99b2","datavalue":{"value":{"entity-type":"item","numeric-id":329610,"id":"Q329610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525657$340F59D6-CE17-467E-BAA8-C09EB4ECD49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f08b8d521e2e4ebecfb70ec3c208643c210e23e","datavalue":{"value":{"entity-type":"item","numeric-id":947782,"id":"Q947782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525657$134CD60E-1994-4D55-A73A-981657707094","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d33cde76bd73dc5ee329bf4c0e45fff7e5611f64","datavalue":{"value":{"entity-type":"item","numeric-id":3525625,"id":"Q3525625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525657$FF31874B-2F60-490A-A5ED-8F06BE48BC17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b92a0ce5c23dfe591778f902d0760e02cbbe13","datavalue":{"value":{"time":"+2008-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525657$C9DA669D-B5A8-42D5-8416-C1FD25786127","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525657$11697BC7-7E28-456F-BEE4-B75BF0E67BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525657$04766139-E612-4C13-AB8D-5F9B645592F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9614f7ea004c46bdde0c2518bc9a596b17bcb96","datavalue":{"value":"5344944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525657$89C22EA9-91C5-4058-B301-5352F593A915","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525657$D1BE5C6A-22E2-4DA6-9D7E-D4B76EED9F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525657$8960FCC4-45E6-413F-AABD-C2EA34694C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc5ca6d9a779b252b72894fc0620e968a0761828","datavalue":{"value":"vacuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525657$B22619A0-62F7-4FA6-826C-F6C268156DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525657$6A25D871-66BB-4402-8A17-A32649EC7532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af7979510b1e87891851cefdba13998806375141","datavalue":{"value":"PSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525657$7FA0DA0A-7A27-4262-9B6B-EEAFCF70C1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b48c2c24b29b91d4486832615959aa6dadd6942","datavalue":{"value":"SVA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525657$8C9A578B-3665-4A63-AB37-F44DE78E14A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d8ef67336aafc3b332c115a6d705dd2c7c30a2c","datavalue":{"value":"antecedent failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525657$D1C76405-E31F-4775-85BF-C260A9A370BF","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":"Q3525657$3C56777E-791E-4CA4-A1D0-BDF51502E77D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a08262117543df1fd41d5672ab397c0b212a818","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74407-8_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525657$3932DBC6-DB10-4B2F-B015-2FB554BC2C1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"124b24cfeb9a649b40df78931622d29b1fe51c08","datavalue":{"value":"W1514731943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525657$BC82FCA6-374F-4875-860B-B3F782FED0EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7227feead50fe160fed46733a0736bc40a844b79","datavalue":{"value":{"entity-type":"item","numeric-id":2018060,"id":"Q2018060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49a09f997100c5d1d271918316abb0141c1f4e4","datavalue":{"value":{"amount":"+0.9714685678482056","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":"Q3525657$B4BEF5AC-2C11-476B-B20C-3E9A37FC87C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee915f4abc6559a69fc1814b4f51bb66befb1ae","datavalue":{"value":{"entity-type":"item","numeric-id":5900691,"id":"Q5900691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0954d751d3a38c7980bfe9fba12d26b6f84f0b","datavalue":{"value":{"amount":"+0.8539489507675171","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":"Q3525657$48586BD4-3FB0-458A-A6F7-94753A3CD95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aa2af0c2736b86a0d609e02c2adefc49ade8ae0","datavalue":{"value":{"entity-type":"item","numeric-id":4494388,"id":"Q4494388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f929056a5de62d6c2f8902a83eebeff0cef9e6","datavalue":{"value":{"amount":"+0.8387101888656616","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":"Q3525657$25BDE10F-B3D5-43E5-8423-BD687F8098D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f008687de8a934f2fdf14ddf6f092b116ab46c1","datavalue":{"value":{"entity-type":"item","numeric-id":2946649,"id":"Q2946649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54630156aaad94ed7d19076319464fdff6bf33a6","datavalue":{"value":{"amount":"+0.8372144103050232","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":"Q3525657$9FB72AF4-E24D-4BDE-AC2B-5601791FD894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"244e8dbfbdf72d970bb1db2c8763ab4822463156","datavalue":{"value":{"entity-type":"item","numeric-id":1028732,"id":"Q1028732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"facbc650239e0c3c8a13baf65b33b879d9f3021b","datavalue":{"value":{"amount":"+0.835846483707428","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":"Q3525657$6C381581-2050-4301-95CA-BF39644DBB80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal Antecedent Failure: Refining Vacuity","badges":[]}}}}}