{"entities":{"Q3188235":{"pageid":3198943,"ns":120,"title":"Item:Q3188235","lastrevid":52602929,"modified":"2026-01-23T02:09:43Z","type":"item","id":"Q3188235","labels":{"en":{"language":"en","value":"Verifying systems of resource-bounded agents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6617627"}},"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":"Q3188235$4342497C-C85A-4AB5-B095-C5E102180281","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e44952a752b8d4efc748d631959990f39c84d13e","datavalue":{"value":{"text":"Verifying Systems of Resource-Bounded Agents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3188235$103D7013-B455-491C-A7DD-8793A8B0682F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae80224125d9d1b1756894f588ea1b80739260d2","datavalue":{"value":"1475.68397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188235$1AB54A49-1648-481C-BF87-46AB66AAA6ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"886b0bd73e362168f2011eaea9b746ed86c42062","datavalue":{"value":"10.1007/978-3-319-40189-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188235$E6B4E39E-F2D4-4A82-9F9E-48D9F51E16B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06b9d3e98376955f4f1468110c0445691894ccd","datavalue":{"value":{"entity-type":"item","numeric-id":208223,"id":"Q208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188235$CE6A2D15-B444-42BE-8448-02B7164973AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d52aeee7b8bf072b0ab639aadd1e7acccb1b466","datavalue":{"value":{"entity-type":"item","numeric-id":208224,"id":"Q208224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188235$08F4666C-8BEE-45B5-BF0C-CF4488BE1B7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1ddae105a08b123877b1ef5d234f0e37711ddc8","datavalue":{"value":{"entity-type":"item","numeric-id":3188234,"id":"Q3188234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188235$D9B4C330-4229-4B84-93E9-66AD18554541","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3196c5237bc6566da6820e6255a2cd27163ff7fd","datavalue":{"value":{"time":"+2016-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3188235$9BF4F2B5-FFCC-4FC4-9D99-4B737CF8FD22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc76b671befc892d496db1424780e3a1eb5f294a","datavalue":{"value":"http://eprints.nottingham.ac.uk/34430/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3188235$4BEFECA8-9F66-4C7D-A37E-1B9A1CE1B655","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188235$50A4B7BF-66F9-45A5-8E6F-FC76F1E71E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188235$B0F28C18-736B-48C4-A14C-1AD731DBF2A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3a0bee7c63070683a2f5bc629470360083dd899","datavalue":{"value":"6617627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188235$8602F861-62D6-47EC-B05B-133D7C07278F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188235$BAC4DE09-88C6-400F-ABE1-B6BDDF849D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188235$187FD4B1-A871-4A5E-AAF9-8814FEAF9096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188235$EEAC44F3-0868-4C4A-9270-0C24C7908E08","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":"Q3188235$87CE6757-F42D-4813-9A28-779E8359117D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"353498a5e26121a4a4209af011ed574dd234b82e","datavalue":{"value":"W2482984996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188235$D01F2C11-69CE-45AE-8D91-B210D9D251B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ead61db802ad1c0783d59938a8599fe136603f","datavalue":{"value":{"entity-type":"item","numeric-id":3103974,"id":"Q3103974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188235$D9B792DD-9A8F-4F58-8EA3-F3E1AD5AC5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7624d556a44b263cc1bb8b55bc6dc62dd07e64f5","datavalue":{"value":{"entity-type":"item","numeric-id":514142,"id":"Q514142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188235$EB19BCF8-20B8-4B10-BAD5-0970624AFB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308ab865f7be1580d707f9d457e96036fd5e06d1","datavalue":{"value":{"entity-type":"item","numeric-id":5282949,"id":"Q5282949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188235$C7386196-7612-4DA2-AAA1-D0AD2192C397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188235$0BF75C22-A6F6-43CB-8D5A-6E804647B688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77cc696a69f0f766d4b8932576932c3bf5d8de29","datavalue":{"value":{"entity-type":"item","numeric-id":2999192,"id":"Q2999192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188235$63EDCF9C-35CA-4F46-95E3-0B54321D87D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f86e9908c5f6dd9a800c61e26a2445758daac9f","datavalue":{"value":{"entity-type":"item","numeric-id":3055669,"id":"Q3055669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188235$07915227-88BA-4BF2-8741-04F91899701A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188235$15138D3F-63AE-46A0-850A-49EA92235C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c14bc875c66ff52b141cf21722a24492eadfc8a","datavalue":{"value":{"entity-type":"item","numeric-id":2825419,"id":"Q2825419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188235$A2D0D17E-5130-477B-B9F8-040B72F1BAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188235$0F1812DA-AD86-47F3-8C41-ECBB37F3D0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ce52cb244a1aeacf0bbf6fbbaecb2eccffbc4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3056334,"id":"Q3056334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188235$CD3994B0-A2BF-4D8B-9AB7-C0E98B5F0384","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6981b5d9a6093f32111c14086dfa8d05051f6194","datavalue":{"value":{"entity-type":"item","numeric-id":2999192,"id":"Q2999192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99bce89e286d731e70fc89868f6aa89e3039bc03","datavalue":{"value":{"amount":"+0.8574519157409668","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":"Q3188235$CD9359DB-E235-4BBE-B4EF-CC339189A47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea7ffdc85ecefa05a7baacca30052c1827d6f54","datavalue":{"value":{"entity-type":"item","numeric-id":2498917,"id":"Q2498917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c223a727650699baa0b51a8b447c1626b0322bf8","datavalue":{"value":{"amount":"+0.7859259843826294","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":"Q3188235$80ABED9D-B692-456A-BF90-2E66B1E4B049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8c88fc88017b1933597c6ff2f82fe88701ca24","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0328cf3da6266dbb1afd0da4409f6c482f0a65b0","datavalue":{"value":{"amount":"+0.7716565728187561","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":"Q3188235$8C2B5D82-2C9C-458B-9C28-0BDD4F061D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df56e80dcca1d3e4a46feaaa5a7f9e76f61b9232","datavalue":{"value":{"entity-type":"item","numeric-id":3166991,"id":"Q3166991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ac6ae4c6d1c761ad76afa0efae782a086116a5","datavalue":{"value":{"amount":"+0.7687862515449524","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":"Q3188235$ADBEE4AA-4F0F-496A-BD09-14FCF97D0733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb93040098d9645df8261f1ff2b44e048c9c8289","datavalue":{"value":{"entity-type":"item","numeric-id":5696417,"id":"Q5696417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c025f7cc1533054dc6bff53dce323e2316be17b5","datavalue":{"value":{"amount":"+0.7665833234786987","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":"Q3188235$9B4D790E-823D-4689-B9F4-937755530634","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3188235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3188235"}}}}}