{"entities":{"Q4471931":{"pageid":6501530,"ns":120,"title":"Item:Q4471931","lastrevid":48299767,"modified":"2026-01-04T07:15:01Z","type":"item","id":"Q4471931","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2079827"}},"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":"Q4471931$B71171FB-36E7-46E9-8844-043D6E02CFFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bccd25f5dbc7c20487d33fa5def3d5c0573925e5","datavalue":{"value":"1043.68578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4471931$E74EE2D1-2598-457D-81BD-239485E2E8BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d8e8b0056e29f22768c66b98d281aa53ae66174","datavalue":{"value":{"entity-type":"item","numeric-id":539224,"id":"Q539224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4471931$50356B6C-B380-4D1E-98B4-5AA5ECE6BE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75a73ed149821eb360cb71f09d99d47bce8fd187","datavalue":{"value":{"entity-type":"item","numeric-id":3479510,"id":"Q3479510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4471931$123CC4F0-A65D-4CB1-B6AD-112D161E8A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0ea8e448665b06fdc15b872b5a3c294da68ecc2","datavalue":{"value":{"entity-type":"item","numeric-id":493527,"id":"Q493527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4471931$F63FF371-721F-426E-9F8C-CC4B21BA15C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b27c40ac149841c8e89df0a408b7b0e67b41631e","datavalue":{"value":{"time":"+2004-07-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":"Q4471931$47EBD759-8227-4F08-8220-BAE13CEE6E25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5ac1d3f09cd15c84c30f0e1ff3d692b40f28918","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/1945/19450398.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4471931$010C1878-D4BF-4F68-9968-BDF28876D96D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4471931$078DD33B-E2BB-475E-8DC1-E34DE736C181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4471931$5978A13D-F65E-41EE-9504-35FC28D21207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4471931$355181B5-4225-4640-BFCF-D2B156E64B11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d0efbcdd6c672a092b8a8e89cfed86bf1154961","datavalue":{"value":"2079827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4471931$2F2F495E-4DAD-4726-8D8F-F89FC6B6AB49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d7a91cce9317b5dfedb3fde9933f83259b7348","datavalue":{"value":"Refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4471931$1E6BEC9F-477A-4A0B-BD9A-E4912FC11A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4471931$2F8A9BF5-EC5B-4AE2-8181-560C418AD58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4471931$E1B61058-48C4-4494-B52A-7BC34B1925A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4471931$9A55B00E-AC8C-4C92-90CC-29521ED6393C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4471931$B16AAE32-DB60-46B3-94FE-A399530663BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a28eb911e0d901d356a3cfcf1841867b315f17b","datavalue":{"value":"Propositional linear temporal logic PLTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4471931$68E96F0B-2A05-45CC-9C27-A9F38036301E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c2ce3245336a7f7e8989090b21a72278972724","datavalue":{"value":"B specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4471931$87152E55-1204-41D6-AB84-C89FCDF99FA1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4471931$3E5C14AE-5F2B-4A9A-8D5B-657F56BAF244","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":"Q4471931$AD9F6A0D-C97A-467E-A149-0F14C0F49F15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab25c74733e8949d0d10895388e30ce560b007b","datavalue":{"value":{"entity-type":"item","numeric-id":4494240,"id":"Q4494240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c318d5a0afa81d98cb6719aa57f4a507ea354c80","datavalue":{"value":{"amount":"+0.8207352161407471","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":"Q4471931$8C9FE213-115A-4A79-A095-F0993694F4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555116d4b2cf0050829603f814d4fd84b41c2863","datavalue":{"value":{"entity-type":"item","numeric-id":1023285,"id":"Q1023285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d97f1cec93d8788af8fba2b937d48ab183c75ad","datavalue":{"value":{"amount":"+0.8100050687789917","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":"Q4471931$D6176788-8D90-42B1-A231-3C8A092B827B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ca434aa252a3c245ddfa693589062293f6d711","datavalue":{"value":{"entity-type":"item","numeric-id":2764139,"id":"Q2764139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"746d7fbc488af6c92365cdeba1614b361eb53215","datavalue":{"value":{"amount":"+0.7801778316497803","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":"Q4471931$3F56401C-3C4A-49F1-AB0A-6859962ACF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdfd003610c1531209a9cec59461f552602e432b","datavalue":{"value":{"entity-type":"item","numeric-id":4436980,"id":"Q4436980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef1165d81ed9b28e391e123c0652f77bf1d3f929","datavalue":{"value":{"amount":"+0.7762661576271057","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":"Q4471931$E5EA4EAB-5A18-4F0E-8881-18629AE88E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9813825a87b64c30009a3e6328ae184e874d1091","datavalue":{"value":{"entity-type":"item","numeric-id":4902319,"id":"Q4902319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d665c45c145d763abc08e290bdddfd30180dc99","datavalue":{"value":{"amount":"+0.7762659788131714","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":"Q4471931$440DBC4D-E189-4734-B841-8BB364CAD638","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4471931","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4471931"}}}}}