{"entities":{"Q4270065":{"pageid":6299666,"ns":120,"title":"Item:Q4270065","lastrevid":46820073,"modified":"2025-12-25T16:06:16Z","type":"item","id":"Q4270065","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1361129"}},"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":"Q4270065$DBBF73DD-54D2-4205-8F40-A60F28BA11E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7346d82464f3b96ec296dc33f6270b4a65e87a2a","datavalue":{"value":"0934.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270065$9F8CE119-AEEB-487B-929C-54CBFF28ADBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50e2e40b1ca4266c0307838d626faa840bdeb38a","datavalue":{"value":{"entity-type":"item","numeric-id":4270064,"id":"Q4270064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4270065$C7B89DCA-BCB7-4372-A5AF-799A6B7D2B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4270065$FE2DC136-DF68-4966-864A-01F8C98C662C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f85394037e304830a2de23d467ba1be222952a75","datavalue":{"value":{"time":"+1999-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4270065$9E188CEA-A24B-4FBD-B206-B893DE99FD89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270065$7A8B57EC-3717-404E-9C05-D2B7AD3D55B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270065$5588C27A-74C6-4F9D-AD07-2E9BCAEEEC3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ad08f7c3e13a576a59c45080ee84e7cf685a6ad","datavalue":{"value":"1361129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4270065$7A2DAA5B-64D5-4619-8164-5B02011E2E8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270065$99F243A7-8926-4A82-A352-24C7039479DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270065$78419C21-C03C-4784-B3D2-91F016ACD0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06724a773904c4661c141536901a259bd363379d","datavalue":{"value":"temporal logic of actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270065$D2F3EF31-BD67-48AB-A5A1-94FD28DDB688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f51cb6f2e17c8b3bcd44dfde4fdf5ad19a8e1757","datavalue":{"value":"second-order temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4270065$1A11C73D-7F54-4057-80DE-DB13F019C6E9","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":"Q4270065$A6661BA1-87FC-4706-9E79-309F645F7609","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209d6662c08dd3f302fe8a715778a3167d2124b7","datavalue":{"value":{"entity-type":"item","numeric-id":4779589,"id":"Q4779589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65720f31cec1797bf9756fef9c345a376604e79e","datavalue":{"value":{"amount":"+0.9133875370025636","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":"Q4270065$81EB5511-96BB-4D77-B6F0-6E24C539D66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bcd2306031d387294b25d16ba984c66a62051db","datavalue":{"value":{"entity-type":"item","numeric-id":4763535,"id":"Q4763535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057ca10c70d69f655b5bee939b3d8eed3cb9ea15","datavalue":{"value":{"amount":"+0.8744344115257263","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":"Q4270065$D383E939-D89A-429A-AD95-D4AC54E7A05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67887c1b9ac2b04b34ba532254b4dda83cea7ae","datavalue":{"value":{"entity-type":"item","numeric-id":1127537,"id":"Q1127537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b07e4d4e6cd6f04086bf1f9eef89bba4e90689b","datavalue":{"value":{"amount":"+0.823986291885376","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":"Q4270065$F0AB184E-D4B5-40BC-98A3-9B51536E0037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27780aec0d5eb5cc4ca2ca574681644ff67f3ee7","datavalue":{"value":{"entity-type":"item","numeric-id":1350527,"id":"Q1350527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d39556e6099d78c0fc7c79a9599cc6245e0e6940","datavalue":{"value":{"amount":"+0.8178378343582153","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":"Q4270065$D0B426BC-CFD3-450B-9226-5641C10A969D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4270065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4270065"}}}}}