{"entities":{"Q4037390":{"pageid":6067108,"ns":120,"title":"Item:Q4037390","lastrevid":55250089,"modified":"2026-02-05T07:58:59Z","type":"item","id":"Q4037390","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177521"}},"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":"Q4037390$5D523927-2425-404D-8D02-01FF694E022F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0e790a5db20ceedc22ef30801f97b9ed3cd4ede","datavalue":{"value":"0765.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037390$8FC7B8A5-EC37-4F41-AA19-C64F77AA391D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79ee1db7326267f551462b9638f98d9a7c0842f","datavalue":{"value":{"entity-type":"item","numeric-id":1199533,"id":"Q1199533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037390$729422DF-1BD2-4C29-B28B-521DA2AEF729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f69046686ca08deb3c80248bb51f9f0153a830","datavalue":{"value":{"entity-type":"item","numeric-id":1199534,"id":"Q1199534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037390$7BDD76F2-5A5D-42B3-8507-6DAFAB74BFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e3df8f5dea429132d015a7ccd360676e3aa3b3d","datavalue":{"value":{"entity-type":"item","numeric-id":673236,"id":"Q673236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037390$2FE560FB-F6A6-4AF3-82D6-73AE7A517008","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037390$86A57551-4D37-460F-B78A-6EBF34A2E250","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037390$25DFF97E-A869-4507-AC7D-D41AA1490141","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3911165e23fc58968d85c8117220d39749b81e42","datavalue":{"value":"177521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037390$126F0D08-4D07-4566-A873-9527F68C451D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a409148fc1ab9e2bbbe1050928e6dc6873421db","datavalue":{"value":"correctness of finite state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037390$8D2ACCCD-BC87-4306-9E59-F115ADBA89D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"752537c968b6d5a84749d2e65b837863c6b36612","datavalue":{"value":"verifying finite state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037390$075A4048-AF35-44AA-9FAD-61097F3E50E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22faee7a58a8049518b23c537e4b85ea66f3563a","datavalue":{"value":"branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037390$BC844A39-476C-4DE3-9806-028B247E454A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3542963eb421bb6af1e8ecde3c4376be009ba28","datavalue":{"value":"model checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037390$3586C236-738D-40D6-9FF4-A13BCC3A8726","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":"Q4037390$8A294714-870A-4112-B587-4A28F1FFC3B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c605e9b14ae02e7381e2d82d56b60fbf62e509","datavalue":{"value":{"entity-type":"item","numeric-id":4037127,"id":"Q4037127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037390$DDF2CFF9-695C-485B-BE4F-6BD89C173B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1883c23305d8a1b064ea2be02f161af8aa5e618e","datavalue":{"value":{"entity-type":"item","numeric-id":1192606,"id":"Q1192606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc870180c2e4a2bb459db89ea1c9c69d13198f4","datavalue":{"value":{"amount":"+0.9272765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037390$59A3AB30-2737-4E43-9E7B-4999A89B446E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486e18bd3bea54ba4a5a3715d321e625b1a3a6e9","datavalue":{"value":{"entity-type":"item","numeric-id":3510810,"id":"Q3510810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe3fef00dbb28a296f5eb46d88064545193aab9","datavalue":{"value":{"amount":"+0.9272701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037390$81E078A5-923A-45BF-97D2-37946202409B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da2be653a222480bfa0ecbe21ddb78fb770b1f96","datavalue":{"value":{"entity-type":"item","numeric-id":6176098,"id":"Q6176098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a37325c460eda80ee7a7dcbb083538f2e6e286","datavalue":{"value":{"amount":"+0.9245537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037390$EAFCB054-ABEF-4057-9CE6-F94AB2DE2E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba19121b8694d90a7f1b829bfd333ad0d7b7ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2291813,"id":"Q2291813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48be6d3d772f60a305698586d2b8334460c9880","datavalue":{"value":{"amount":"+0.9167665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037390$B5DE4E3B-74B4-4192-8AAC-D38BAB843646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791ff92a215bb66d971a2775ffed0ebf24a772f4","datavalue":{"value":{"entity-type":"item","numeric-id":1917081,"id":"Q1917081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dbb4d172ed38679a52ff754d252012e49391f06","datavalue":{"value":{"amount":"+0.91463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037390$EED06350-6A2E-4DDC-B2A0-D583D6578158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7125fe52ce73741ab1ae06610aa9d74b8be9378a","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25bd10ba516060b0a19a7495066db585240fa63c","datavalue":{"value":{"amount":"+0.91377723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037390$D655E247-97DD-4EB7-A538-ABD9375DF0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a4e5769e0a881559434dd83eb4aa33d59f1623","datavalue":{"value":{"entity-type":"item","numeric-id":3637242,"id":"Q3637242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe83083ba14da1b68e19879032f7abf6970461e0","datavalue":{"value":{"amount":"+0.9133327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037390$9DB0A1F8-9511-4A15-859B-8C476A9C6C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6ed82a4e071cebe633b229977f5f8f7434700f","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240ed85c5758e425c4a1900c56d8e23fe5ed8eff","datavalue":{"value":{"amount":"+0.91325235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037390$0BEE01EE-32DD-4713-A807-A8160121285F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e192bd3b07c28bf88bec8600a654af941de533a2","datavalue":{"value":{"entity-type":"item","numeric-id":1863748,"id":"Q1863748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778f4949f9a052955567f6f892eedd4ed7011a80","datavalue":{"value":{"amount":"+0.91202897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037390$99E895E2-EDBF-43A5-8056-5E2E1703B42C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037390","badges":[]}}}}}