{"entities":{"Q4316298":{"pageid":6345899,"ns":120,"title":"Item:Q4316298","lastrevid":46287582,"modified":"2025-12-24T11:58:39Z","type":"item","id":"Q4316298","labels":{"en":{"language":"en","value":"State Constraints Revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 700479"}},"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":"Q4316298$CF24A494-83E8-4D72-8C96-013FD8960EB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6daa687130358ced37ca277481dd5ee81c12728b","datavalue":{"value":{"text":"State Constraints Revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4316298$89151364-439B-4E2F-94E4-042FDDE9E331","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"618c2bb62c7906df866c668a0ee8ee0a8c026ba8","datavalue":{"value":"0815.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4316298$06FF0E7E-A2B8-4095-897A-F4F0E7D5AE89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91bbda44dc30d0792f77614608518eca528e81e5","datavalue":{"value":{"entity-type":"item","numeric-id":4316297,"id":"Q4316297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4316298$087F9738-A977-4984-B79A-4264242B461F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0816c3b3a23cdb536cf48ff8cadc4b903d9115ea","datavalue":{"value":{"entity-type":"item","numeric-id":1376097,"id":"Q1376097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4316298$DA766C2D-A6B0-49EC-87A5-DDAA81367A2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e340cfe20b84c66f2998042517749ac0f6f422e1","datavalue":{"value":{"time":"+1995-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4316298$17AA9F1C-C055-471D-8C91-246EE2925041","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4316298$713E608E-8437-4D6C-9456-E2948D825B9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4b3aa3eb44244925827489ce6754301dc4eab63","datavalue":{"value":"700479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4316298$F16E9DE1-7530-4969-BCAC-DD276C9B9795","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a245876d16d79a7223ee4bf7599ceb24b2284a56","datavalue":{"value":"successor state axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4316298$127B8F86-E0D4-41C0-9287-0B9361AD3D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c54f9713c35f596eeadfd53eecb86cea29fa5bdd","datavalue":{"value":"action precondition axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4316298$D2F22F01-8F06-492A-8167-CDD18BDA7328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3972f07b6f0616265409cdb1bdbfbb0e6e971391","datavalue":{"value":"ramification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4316298$72DA18E5-B6E3-4BA6-B115-861FE46B8A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cca661b73d27bd834066d901b38bfa991510609b","datavalue":{"value":"qualification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4316298$20DEF056-ADC4-4947-AD77-21ADE0A6C847","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":"Q4316298$E46172D3-6957-4A24-ACD5-CC6882339DDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89e4ae340eac2c9c7372c0861f6df57bfad7547b","datavalue":{"value":"https://doi.org/10.1093/logcom/4.5.655","type":"string"},"datatype":"url"},"type":"statement","id":"Q4316298$E423BAAF-DC94-48B1-8E56-EA3E9E07DA49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a84e4a5253b1fc704b8b944fa4ca7615c7b8c340","datavalue":{"value":"W2005473008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4316298$5C7A4E0B-513D-403A-94F7-B7FBF3BE5B99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f29e798e13ba1bf44009d0dc19c8ee6f9772984","datavalue":{"value":"10.1093/LOGCOM/4.5.655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4316298$EEE3287E-F9B2-4C4C-B95A-6E94859C9857","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4316298$651B705E-C5BC-4669-A15B-D8F1A9E1E171","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d43a881d9bc3d953a45ab16c671ed6239d56c26","datavalue":{"value":{"entity-type":"item","numeric-id":1978240,"id":"Q1978240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5620ff619fb54c1d4704ec4b66408ba7f5b335df","datavalue":{"value":{"amount":"+0.8882821798324585","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":"Q4316298$370035C7-B4C9-4CA1-BB44-97D418F0655B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b32c5c3a8e43f5878403854c08fa9adc932ca1d8","datavalue":{"value":{"entity-type":"item","numeric-id":1103420,"id":"Q1103420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7294d33854f95e9b8f77e49ee7673dd4618412","datavalue":{"value":{"amount":"+0.822807252407074","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":"Q4316298$84BB6155-8C80-427F-9BAB-270A6049E743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9968455b97c53c2eec6a03f6eaa810841175b98","datavalue":{"value":{"entity-type":"item","numeric-id":1274697,"id":"Q1274697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9bb572c189154cd08709ae78a4f2ae0a77b55f1","datavalue":{"value":{"amount":"+0.8021359443664551","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":"Q4316298$F8D5973B-F2E7-4E1A-B368-9CF1174D87BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c6ce01cfd6012755942f0b3e9dfbe51437ace8","datavalue":{"value":{"entity-type":"item","numeric-id":3158539,"id":"Q3158539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"805d07f95968137314bb0c42b7e6eb53c96a21ac","datavalue":{"value":{"amount":"+0.7922497987747192","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":"Q4316298$ADFBD5D3-074B-4EE7-B962-659AF05F5F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3a3ae6170ffb4c3a76adb264073c8d9fd72282","datavalue":{"value":{"entity-type":"item","numeric-id":1606307,"id":"Q1606307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ff082b0f0a42c9cc0629695b2d69ece12704f3","datavalue":{"value":{"amount":"+0.783474862575531","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":"Q4316298$91CFEAA5-6A09-4952-A950-FC0975A36445","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4316298","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4316298"}}}}}