{"entities":{"Q4982130":{"pageid":7011708,"ns":120,"title":"Item:Q4982130","lastrevid":52231646,"modified":"2026-01-21T05:20:14Z","type":"item","id":"Q4982130","labels":{"en":{"language":"en","value":"CaRet with forgettable past"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418750"}},"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":"Q4982130$02B9E94F-E811-415A-B301-329E84405A51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0f8231a21bbe5ea83e6b45ed95bd9333b813d87","datavalue":{"value":{"text":"CaRet With Forgettable Past","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982130$19A299FB-2825-4584-95C4-A2EA8EBB801B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2a935e67a87bf6deed9d89d08b06677664c73a1","datavalue":{"value":"1347.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982130$13353C3E-89C0-469D-A26C-96B36ACF593C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982130$8D50E9CF-3891-4E5E-B05C-F15483CB1968","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982130$7C825E28-C3AB-4DDC-8BD3-7C46F1E07D16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-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":"Q4982130$7F3749F6-3B0E-4820-8D4D-0CD8FEBFEDB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982130$CB19F02E-955B-403F-B947-EC1084D6E749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982130$56D898AC-48DB-4AD4-BCDD-0D6F2DC73FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982130$5219F3B2-C650-4AD4-A9E0-529F71A7EBE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d3c8c38fcc27f2913918473af8d83f6eecd4515","datavalue":{"value":"6418750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982130$826DE1A3-8143-4938-9FAE-19A5B33670DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982130$DA64475E-0D34-4141-8305-34C3423CD6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fa719687a863a2711abb88df1c8caf1ac555c9","datavalue":{"value":"expressive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982130$A5928E35-2C16-4B46-8D9D-118B9BECF8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"114d6f3ef52f6168a0f93bfd55c611753589973a","datavalue":{"value":"pushdown model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982130$7EB61253-B1A8-4FAF-AC6A-5D7DC8DA88F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96e98c2b0d102556a043b84515dc9e0b75c4134d","datavalue":{"value":"CaRet","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982130$8B2E4767-E536-4404-88FD-7D21A47BFCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f23bfe7b3baa7befc837f92d9fe5199475b9d245","datavalue":{"value":"NCaRet","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982130$B6B9B97F-9893-40FA-A03D-048548412D4D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4a576df40a56f4caeac99704b4faac3f837354c","datavalue":{"value":{"entity-type":"item","numeric-id":22086,"id":"Q22086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982130$DFB78A74-F297-422F-B2B9-F421CEADC43B","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":"Q4982130$18DA5B9B-A4DB-4665-9319-D5F81E3FCF26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4acd1dc743f07fcf2ea3f5cd77fcba25b1fd0da","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.045","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982130$C1F51602-CDAB-4D2F-922A-7628C4B2C6A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b64315af34b35f707365c9caaab333a560ecf79","datavalue":{"value":"W1978982199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982130$E1ADB5E7-EBFC-47E1-928D-7C259D2F1584","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982130$24826AC9-2CD3-43C5-B657-12362F429AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982130$1A060311-8EF7-41FA-A336-F7C82AAF42F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982130$DBD3FBAD-CEB9-4970-AD97-250C4DBD1468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e006dd7060267eb8c241907bdad1e9a1d82bb80f","datavalue":{"value":{"entity-type":"item","numeric-id":3525656,"id":"Q3525656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982130$C4D5ED1F-8FEA-49BF-9A20-5E193268CD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329dcbb9717e608f33b6e2e375aecdc7d744b7f4","datavalue":{"value":{"entity-type":"item","numeric-id":4982130,"id":"Q4982130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982130$6581DA9E-2428-4A33-8CDE-807BE25BD562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982130$FC37ED37-F973-4ABF-B885-8D820E48F280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18ea4b7d046ccd37e1cf34505fbb9d2f8440573","datavalue":{"value":{"entity-type":"item","numeric-id":4813395,"id":"Q4813395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982130$A832B6B2-3B57-4B99-A613-3A2D6C0B0C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982130$25F1DA29-DCB5-42ED-A6C7-93077BEA518F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e902457964a312a605389238232d33897eb4c84c","datavalue":{"value":{"entity-type":"item","numeric-id":1887158,"id":"Q1887158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982130$E49F8D11-D36C-4994-B10A-609B16C62C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9fb3d37eaa42c39fd894af0866ac61438610a5","datavalue":{"value":{"entity-type":"item","numeric-id":672329,"id":"Q672329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982130$28D6DAFD-D23E-4239-90C5-C67D6D55457E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91926719e347b1364cab4cdd9a525b03ccbb567d","datavalue":{"value":"10.1016/J.ENTCS.2009.02.045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982130$46E5F71C-0D5E-4777-A16A-DA70C55E8AF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fce7c6815813cb3694f6f40a97b5143a3caeb7e","datavalue":{"value":{"entity-type":"item","numeric-id":3010360,"id":"Q3010360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70d83ed0848256596c3e34c27c48cc01615ddf73","datavalue":{"value":{"amount":"+0.7732290625572205","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":"Q4982130$C406CDE1-D2EC-45AF-9837-3FB9C37FB994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493c788031d7c555c55547b4351b80b749d2d88c","datavalue":{"value":{"entity-type":"item","numeric-id":3094189,"id":"Q3094189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f7bd08611380f06dfc9b5e4e491f86cdc85237","datavalue":{"value":{"amount":"+0.7409082055091858","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":"Q4982130$4EFEAEF8-675B-4F3D-917F-4014DF0108DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adc15011e46b0aa6a567acf70387a5f4bd45ed74","datavalue":{"value":{"entity-type":"item","numeric-id":5883579,"id":"Q5883579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3fd256601d0d87032018964faf5ccc2b2d7ce2c","datavalue":{"value":{"amount":"+0.7337374687194824","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":"Q4982130$EF914B86-1D1D-4D43-831F-B46A5CA8D388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7e63a7b92025ff07c8bf3161485ee73844e0ff","datavalue":{"value":{"entity-type":"item","numeric-id":408552,"id":"Q408552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01539f04ac52637aeb3c8f13ed6fd2b3143ec842","datavalue":{"value":{"amount":"+0.7234413027763367","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":"Q4982130$C25E72D8-3363-4465-AD0B-6E4CBAC5381A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107df4364085b50c32e4791b4f906c725ee5ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":3644771,"id":"Q3644771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb5c44db51874246e6a66be9a6ad891f702951f","datavalue":{"value":{"amount":"+0.7022244334220886","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":"Q4982130$D128337C-EA1A-415F-A60A-C722188D28C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982130","badges":[]}}}}}