{"entities":{"Q4631183":{"pageid":6660765,"ns":120,"title":"Item:Q4631183","lastrevid":53406659,"modified":"2026-01-24T22:08:50Z","type":"item","id":"Q4631183","labels":{"en":{"language":"en","value":"Logic programming and bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7047276"}},"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":"Q4631183$15E2694A-1D9A-4C65-ABE4-CBCB788DF9DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b13d1ee056ee16cd7876bd39f5416505b57b08a7","datavalue":{"value":"1407.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4631183$9F7F0361-E19F-4A89-B11A-7A9ACEBF2DEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ee95eed4ca024e7da7af55e9d7b99b24c7e015","datavalue":{"value":{"entity-type":"item","numeric-id":206864,"id":"Q206864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4631183$7C121B74-4368-42FC-925E-7A29D3F71D36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a5935bb4f070aa8014d987a25d24fc56c18ba30a","datavalue":{"value":{"time":"+2019-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":"Q4631183$A12932CC-3053-4171-8668-E44C74A5E1A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"174f27e8e47dca3f8be12f3ff4a98b17441fb345","datavalue":{"value":"http://ceur-ws.org/Vol-1433/tc_10.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4631183$67872384-4E7F-4312-B208-97430AD92EBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4631183$8332037B-47A4-4F95-BADA-2A345F020147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4631183$633B9BD7-C6FB-4C2F-B98C-04D31EEF096A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e7ec7f363a5aa7bd9317d6dc3b5029065c7d188","datavalue":{"value":"7047276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4631183$78BC8AC3-CEFF-4367-97D9-97DB47762F88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9fa552ccacb6a438af5a3df74a9e3f787e73a88","datavalue":{"value":"logic programming modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4631183$AE7FB740-C1F4-49EA-A66D-5C0843791668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4631183$AC8A5E16-5E6E-4688-9FCB-40C3EF3FD199","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":"Q4631183$B306CB52-FF18-47B1-A5D6-4EFEC3D60612","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1019f96affbcbfc0a1b7f4358a62b212e02cb66b","datavalue":{"value":{"entity-type":"item","numeric-id":4736511,"id":"Q4736511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a349406900a56a3857d035473647580843dbfbe7","datavalue":{"value":{"amount":"+0.7952831387519836","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":"Q4631183$F76B2CFB-F3E0-4D87-9F02-47AB2D503E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5251631ff51e916a1b80d61bbf002b2cc07ac88d","datavalue":{"value":{"entity-type":"item","numeric-id":2915060,"id":"Q2915060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228d6ddbadfa540703893190f3431144199756a0","datavalue":{"value":{"amount":"+0.7500677108764648","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":"Q4631183$A0C7BD77-0849-4FAD-BBE0-747B60585820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1873dcc86201417d0fe1d5f5cf7836f1e6f22d","datavalue":{"value":{"entity-type":"item","numeric-id":4314681,"id":"Q4314681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"304e3fe3727909b535b08b54071c8c4886583595","datavalue":{"value":{"amount":"+0.7461062073707581","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":"Q4631183$F08E94C0-E6E7-4ACF-AB65-DF90E16DBE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b165e55b6ca0e44828558da4d5a3a4ef6b1f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a5e79679320eb14bf8c6de3eb3cff0eb02f0fac","datavalue":{"value":{"amount":"+0.7440600395202637","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":"Q4631183$1A094056-D47C-42FD-894C-56D9FD532CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56886837a39f26b61b0c10136410ed9326ec1d3a","datavalue":{"value":{"entity-type":"item","numeric-id":1577351,"id":"Q1577351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63dbe9d3aca8e3b472d04b59b81fc7bddc0554ce","datavalue":{"value":{"amount":"+0.7337827682495117","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":"Q4631183$4360B014-F8BB-41C5-9A2A-E6A94A7931D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4631183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4631183"}}}}}