{"entities":{"Q3710510":{"pageid":5740416,"ns":120,"title":"Item:Q3710510","lastrevid":50561906,"modified":"2026-01-14T09:59:14Z","type":"item","id":"Q3710510","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3937153"}},"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":"Q3710510$C929F2E8-8E9D-4443-BDFF-0E98A3CC2D0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"881c17547981ed746bf1e2f773b9c824a195275a","datavalue":{"value":"0585.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3710510$91BE17B7-E8B1-4E6A-BE11-DD8C4C303F25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebafce9516d4c14b715c69adea30ca40313f766f","datavalue":{"value":{"entity-type":"item","numeric-id":930284,"id":"Q930284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3710510$0F82102F-ABB4-4849-B34C-7D0FCBD3D593","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3710510$F73399DD-22DD-4922-9637-87667C5480C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3710510$E3A70770-5748-42CA-BD63-C35F2FC66714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3710510$C7389101-1506-4F83-9D3F-0A426BD034A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3710510$70A90426-5985-443D-B6E1-65C7B543954F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e4d276530f4dd3e538155980f20309d44a3af1b","datavalue":{"value":"3937153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3710510$BD883408-80B7-4FBF-82AF-5F2B623B46CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13e401aa35455e7113b18a8f097497819d5fd0de","datavalue":{"value":"applications to Computer Science","type":"string"},"datatype":"string"},"type":"statement","id":"Q3710510$4902D5AD-357C-4627-B942-EB164D1E069E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d35d31a9a841eb021e25a8991c81207b2a8eea62","datavalue":{"value":"tableau decision method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3710510$629B3F65-43C3-49DA-9ABD-ED2346C11AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f0a0d846f96d0ad21fc394acb3c1906b48ab4b","datavalue":{"value":"propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3710510$658FCD91-64ED-44B4-9BD3-A69B052A01C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b00c383418dcc7f93ccd72284943d81460b3f068","datavalue":{"value":"linear time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3710510$50A10E2F-CB17-47E7-A05C-07B99A60C6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27fe14a8cfeb9ac56de2bccfef8cf6b2b7e8b2ce","datavalue":{"value":"branching time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3710510$139B7E15-F6C2-4BB1-83FD-07414C0FB6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed2e135f7fc0d03b5d7a461605391efd13a810c","datavalue":{"value":"extensions of linear time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3710510$CF300B81-B3C6-4573-902E-D40072B4C98C","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":"Q3710510$8AB47404-89ED-4F2B-86CD-75581E1D24EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3e3026b100c6ebe7f5391a3ce519de802324d9e","datavalue":{"value":{"entity-type":"item","numeric-id":3338212,"id":"Q3338212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b059b49dcf684215b4fe19271e3ebf97968caa","datavalue":{"value":{"amount":"+0.8695980906486511","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":"Q3710510$D69FBB19-806A-44AC-BFF5-E4F1E18FDD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cbb58e43cd7e3339ee113b2042d2779a6eae1cf","datavalue":{"value":{"amount":"+0.844921886920929","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":"Q3710510$16E919DB-5435-4B2F-8A99-0D2C1B97768D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a0ccf8aed1c673137633994f8b3d3c07e6e633","datavalue":{"value":{"entity-type":"item","numeric-id":2506829,"id":"Q2506829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6c420d26ed98b360140fd731f3c7c380b8bea0","datavalue":{"value":{"amount":"+0.8399141430854797","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":"Q3710510$65FBA1FB-7ACD-4DB6-8A35-78A6262C0280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eba7f8829ad878e8c6d6ceff784d98978050dc3","datavalue":{"value":{"entity-type":"item","numeric-id":4263018,"id":"Q4263018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0317a616a22115d501cd6d1ea9ca94b2ef75c42","datavalue":{"value":{"amount":"+0.834838330745697","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":"Q3710510$09CF1238-D42E-453F-83C6-7953C0D502B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674a4fc00a703afc442c8e1c15c8b2d1c36549e","datavalue":{"value":{"entity-type":"item","numeric-id":3741614,"id":"Q3741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa42c0789d7b074253d7f14c5db847d8dcaab46","datavalue":{"value":{"amount":"+0.8336071968078613","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":"Q3710510$B1204105-202B-4364-8FBB-DF881D51CE0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3710510","badges":[]}}}}}