{"entities":{"Q4375802":{"pageid":6405401,"ns":120,"title":"Item:Q4375802","lastrevid":46994118,"modified":"2025-12-26T00:33:13Z","type":"item","id":"Q4375802","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114033"}},"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":"Q4375802$8A092318-E92A-4039-AA5E-FFED6406DB16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f8bfd0ef36df3ef29644340454501b177073d28","datavalue":{"value":"0886.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375802$3FD04236-E378-41B7-B2B0-46596B0484A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab3eb29cbf9f23c5158deb930f0175a3e7b428f3","datavalue":{"value":{"entity-type":"item","numeric-id":229996,"id":"Q229996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375802$BE150A4F-6447-49C8-A66D-85EBDB6E4657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8392ad3e919ceda3cd16f19f1268cacb9704ba7b","datavalue":{"value":{"entity-type":"item","numeric-id":229998,"id":"Q229998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375802$F4DFDBB0-FF26-4C19-8B38-B5E87BA76288","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b347c1d8ecdf364bbce1657b40174d833d0dfdc1","datavalue":{"value":{"time":"+1998-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4375802$094B1793-FB19-4733-8899-1F89E7665564","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375802$AC6A0D47-8E06-4230-9CDA-FAA5B0F36E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375802$AFE9079F-1001-41F3-AE3D-2B522762036B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375802$79E19CC9-8D1E-4E76-AAEE-55B6A6872017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375802$400FC631-EABB-481E-AC9C-D7AE6531D6A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8564c20a7911c9034df5296088071904095657af","datavalue":{"value":"1114033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375802$16B4234B-B136-452C-8212-2A1082478DAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbd3ab7bf1fbafed768194a39eff6e0454fe108","datavalue":{"value":"partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375802$1462D395-AF86-4619-9F5E-DC47C607C4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06e8082afb253f0ccd92b7c1560ae6418d146430","datavalue":{"value":"linear time temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375802$03AC0631-5F85-41C9-B18F-8A5319EB9CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048dab55940c5c060a72a2bbad5f3dabbb5c4f18","datavalue":{"value":"Mazurkiewicz traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375802$D52F1F56-CC72-4992-B761-9FB458359C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375802$A422DD97-649E-4D32-9C62-45562496F4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375802$AE03E79B-8889-4628-9B1D-913912629DB1","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":"Q4375802$948713B6-733C-452F-94B1-60A563D69459","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bae2d430b50848b184b7d8c7b0966fbbd54a494","datavalue":{"value":{"entity-type":"item","numeric-id":4353634,"id":"Q4353634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba37715145b175741b35a8cfbbd1cebcce1f3ac","datavalue":{"value":{"amount":"+0.999998152256012","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":"Q4375802$EB52120A-7741-4EEE-BB92-2336CD3E87E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dcfa39d761eeb07ec648b44b4d9fb89d5c86c8a","datavalue":{"value":{"entity-type":"item","numeric-id":4247293,"id":"Q4247293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e56959d5fab882f0e43fc8b58fb0fe2c1a806e","datavalue":{"value":{"amount":"+0.8775612115859985","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":"Q4375802$6C0FA801-ACD8-418D-9DC9-139EF9E58650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e45e84af58c56f646c20ab46e110f7bce0bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":2506491,"id":"Q2506491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"685bead651fbef96585c3e86f048efae695aa8c8","datavalue":{"value":{"amount":"+0.8712030053138733","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":"Q4375802$D94A268A-A875-4CC3-BAA8-4FD481E547D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f325677dee369930d0e64a4e41b51a183c6e0801","datavalue":{"value":{"entity-type":"item","numeric-id":4422788,"id":"Q4422788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16beb960ce2894e25b5059b07a57704fef937f4d","datavalue":{"value":{"amount":"+0.8702095746994019","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":"Q4375802$E8201CE9-34CC-4C2C-AD4B-8F796CAF1ED1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4375802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4375802"}}}}}