{"entities":{"Q5887513":{"pageid":7917063,"ns":120,"title":"Item:Q5887513","lastrevid":47837779,"modified":"2026-01-02T20:26:02Z","type":"item","id":"Q5887513","labels":{"en":{"language":"en","value":"Factorizing proofs in timed CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7673899"}},"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":"Q5887513$767CA9B2-863A-4BA5-BAA5-21EE4E207F44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"698f940068d1a2b41c6449a5417858fd7e2d08f7","datavalue":{"value":{"text":"Factorizing proofs in timed CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5887513$CDB1478C-1606-461D-9C72-15D3C5CF86BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78130983bf8b054e153a8b116b40b9dc92b0cad0","datavalue":{"value":{"entity-type":"item","numeric-id":674190,"id":"Q674190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887513$2CD0E006-DA46-4637-B732-4C3F11AEFAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbf760af8264fe1b213073283cef0a10d170b64e","datavalue":{"value":{"entity-type":"item","numeric-id":293166,"id":"Q293166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887513$9B8B3D83-C6A6-4B78-A9CB-7D9FDDD69387","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887513$41805B8A-1386-423D-9072-BA7DC82759A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b4034943b182da069de8768d6fd2310f3e13487","datavalue":{"value":{"time":"+2023-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5887513$ECF743BC-1E85-4B9D-BC71-DA718991AC12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887513$9D44FAD0-9C2C-40CB-B1DC-8605E0D9F2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887513$B1BA85FD-61AF-4CDB-BC0A-08D13D1ACB5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37774c681a7687d796ae57c30c2c88737a2547aa","datavalue":{"value":"7673899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887513$A8FD0481-63BF-4FC4-B324-7BA66E655FDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887513$D5397D06-AF41-470C-AA74-A60927AD9357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"071bbee34eea45cbfe55ab76fde84e6e085b5415","datavalue":{"value":"parallel operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887513$10FD1E46-93EC-4CE8-B78A-2182159C281C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887513$876CA0C4-A8EB-4F9F-BC12-AAC50952F099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af0c9cb4e3ed049fd6b75c59433bbb8012645c4","datavalue":{"value":"semantic function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887513$E7B0E979-F7F1-4B35-A099-AD2F1E3165F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4481517714437ff63c836d4b49f0e1b5127461c1","datavalue":{"value":"proof obligation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887513$44E3C5A0-75A3-4375-AB3C-F5B4CC0B4F0D","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":"Q5887513$0CC156D7-9BE1-49F5-A9CA-87532D0D0F58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b78e947db1f53a76dc90ae7e183d159f663497ae","datavalue":{"value":"https://doi.org/10.1007/bfb0040256","type":"string"},"datatype":"url"},"type":"statement","id":"Q5887513$522E6C8B-1D52-426C-8D25-D870FE93F097","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f788726d5a1e357fb25bcbeaf674b967fc9ff184","datavalue":{"value":"W1751237904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887513$97D108E6-0FA3-4C39-93EF-164896B8E9E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887513$0C73FAE5-AD64-4226-A5AF-D1D64BD6E399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887513$4C83A0C0-43A5-4D64-AE5B-E44666DD31AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbece7571be501a7c5bea5b915e00289f365146","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887513$613A06A0-F894-4995-A358-A8CB3CA144EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14fe8e2f70e07c1d1a7aeb24168f8422746458f","datavalue":{"value":{"entity-type":"item","numeric-id":3787461,"id":"Q3787461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887513$5D1165FF-CA05-49F0-8B87-87D9BF91D12C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e54fc73466a249cade49478f56c12c10324c325","datavalue":{"value":"10.1007/BFB0040256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887513$FFDB294A-563E-46E3-8605-450988DE056B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74974f86a83c0b9ddc8feb10884580cca5fa2ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4282003,"id":"Q4282003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749b8536a1ed7a1e134853ba40b9886be4a1bfd2","datavalue":{"value":{"amount":"+0.8489854335784912","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":"Q5887513$9CFDA343-AC74-48F0-AE67-D9B979459D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103cba6e5f40e5da621232bdd9fc61950a6a27ee","datavalue":{"value":{"entity-type":"item","numeric-id":2576580,"id":"Q2576580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83e7eb6736333d39d275b47913c585b99567acd","datavalue":{"value":{"amount":"+0.8486144542694092","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":"Q5887513$F3D101E1-A677-4815-B324-8F509C4AA8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983d11ff1dd06ecdeadd1f66f16e5f7a7c531de5","datavalue":{"value":{"entity-type":"item","numeric-id":1333273,"id":"Q1333273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd988f7b3fed598632cc5da8608ec3fcc642c851","datavalue":{"value":{"amount":"+0.8102607727050781","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":"Q5887513$019953AA-F1D2-40D7-A632-93A9DC4298E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317ecfc49be59afa8f00e3daaee351230a1cd2b7","datavalue":{"value":{"entity-type":"item","numeric-id":5890047,"id":"Q5890047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7908af18662396e1e23efd9338124c4771f30f81","datavalue":{"value":{"amount":"+0.807830274105072","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":"Q5887513$A9DBC4EB-EA44-4406-83FA-AB47A1F88976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3944cdeb91080ea26c2459a3c718cb299a94e16e","datavalue":{"value":{"entity-type":"item","numeric-id":676846,"id":"Q676846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c004f5f2299acc2641b79278404d698c480aeba3","datavalue":{"value":{"amount":"+0.8060888648033142","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":"Q5887513$A6AF39CA-C124-478B-B901-9CDB0EFFEF51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5887513","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5887513"}}}}}