{"entities":{"Q4635644":{"pageid":6665225,"ns":120,"title":"Item:Q4635644","lastrevid":53070350,"modified":"2026-01-24T04:10:29Z","type":"item","id":"Q4635644","labels":{"en":{"language":"en","value":"Local temporal reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863117"}},"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":"Q4635644$F89FD5D7-4947-4E76-A067-C453CA013B4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff3fa516f718c1fe3cc537e59794b66f3411f0ca","datavalue":{"value":{"text":"Local temporal reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635644$860281F4-6FFE-4E60-A2EB-44DAF3EDFBC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b4b9ce8d93aa3c41e594194ba60e48efcd06fc5","datavalue":{"value":"1401.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635644$CCFF8B04-56CE-401B-AA9D-C443B0538FA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3abc6bf1001b8f5d1b48ef1d2fe94e8950035be2","datavalue":{"value":"10.1145/2603088.2603138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635644$5C44A97B-DD48-4A44-BE5F-5120DB1939D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3428d6758c8cd969fb5cc602f40fa07e68de0b76","datavalue":{"value":{"entity-type":"item","numeric-id":832228,"id":"Q832228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635644$CF4320F2-052E-47AF-94CC-8FF116DEDDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbb2b3863299559ef6ebd59e50269b0807955a10","datavalue":{"value":{"entity-type":"item","numeric-id":832227,"id":"Q832227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635644$DCC9D6DF-B41C-48C7-8761-5B3264976FA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635644$92A386F7-4500-4531-B38B-12926A6FB3BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635644$C3855E98-F232-4512-AF9A-2BBE9CC6CCFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635644$F6FB5C7A-4EBC-4568-9A51-5B2753FF5044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635644$E656B238-6223-4B95-8979-799CE47C3A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635644$FAA19AC5-2618-40D4-991B-0A5E55C342AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63febf2f715b99dd6a5caf0eea035b35eb07396b","datavalue":{"value":"6863117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635644$BE0AD913-CA90-4062-B042-4ADEECDEA57D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635644$150FC807-7777-4E13-B41C-88C45D6DBF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"024e260e8fd79d5f0e614a4825adfe2815bc0614","datavalue":{"value":"higher-order programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635644$556AF058-5EFC-413E-A6C4-DFFC1DFCA9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635644$BF330D6E-A34B-415E-A28A-32DCA5147DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635644$A1BD37E5-FC58-41AF-92C4-DC98D76F6241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635644$D353A7B0-D162-427A-A4FE-61C4D4C25F9A","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":"Q4635644$725CC570-FF88-43AF-848D-8C0D5C06C4D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bbc3eae248c1b790af0a54adafdaf002251fdd0","datavalue":{"value":"https://doi.org/10.1145/2603088.2603138","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635644$99A0A8C8-62BC-4D2D-84B6-841671A196AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e507e9462f52131b33dd518f7f72a4a86e4ad1f","datavalue":{"value":"W2143665015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635644$4987F77D-A7B4-4706-8085-38A70EDBDC23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b59b78e104d3716a9841c4d9cc630695d58451cc","datavalue":{"value":{"entity-type":"item","numeric-id":3656875,"id":"Q3656875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ff8ec2fdc35eb8abeb25a65bd9f2a1a6543263","datavalue":{"value":{"amount":"+0.8022488355636597","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":"Q4635644$43345177-E326-45BE-A894-C939565AB70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f33acdc1522ef9980680929c8850a95b4d3f744","datavalue":{"value":{"entity-type":"item","numeric-id":5145353,"id":"Q5145353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf9353b635c1d1811954c16e8c14090cf73aaaa","datavalue":{"value":{"amount":"+0.7893897294998169","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":"Q4635644$85B0EEF9-E506-4C35-AA9E-8C079574CEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bad09c1261ab2a41431f8b4e79603160989066be","datavalue":{"value":{"entity-type":"item","numeric-id":2233479,"id":"Q2233479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25e2e9c3273f502f4398debadf5b70260b3852d","datavalue":{"value":{"amount":"+0.7810238003730774","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":"Q4635644$28FC3DA0-58E1-4BEC-8FF0-E1721A98FFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748ecc2376786718a06446352f0527024584f94f","datavalue":{"value":{"entity-type":"item","numeric-id":3482822,"id":"Q3482822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f055190e548a9584060057a432396570492a4c3","datavalue":{"value":{"amount":"+0.7513704299926758","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":"Q4635644$278A32DE-228B-4409-9F64-C494E7D3C8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f03ba18052806ef29b397f5c3308f6e6daf42f5","datavalue":{"value":{"entity-type":"item","numeric-id":5748896,"id":"Q5748896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"080cf540d8888f132436d3b12de669bc4b005eb3","datavalue":{"value":{"amount":"+0.7439246773719788","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":"Q4635644$182BAC6A-92B0-4D60-914D-CE8FDBA61314","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635644"}}}}}