{"entities":{"Q4700096":{"pageid":6729673,"ns":120,"title":"Item:Q4700096","lastrevid":89971871,"modified":"2026-06-04T18:45:26Z","type":"item","id":"Q4700096","labels":{"en":{"language":"en","value":"Coalgebraic theories of sequences in PVS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1355464"}},"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":"Q4700096$B4D06635-C6B3-4BE2-A541-90680A143BF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c530a28432157168865d2c8dda38c64f4a5e5a1","datavalue":{"value":{"text":"Coalgebraic theories of sequences in PVS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4700096$169B3DB0-D82F-4C5F-8FD0-7BDEB9CD52A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa48a40f851c9c04e8e5737ef6c166b7c053b388","datavalue":{"value":"0940.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700096$F0FF42D4-4FAD-48C5-9F76-8AB2B2E655A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e076231554fd9fd617ae23904eb7c55ec85f7ee7","datavalue":{"value":{"entity-type":"item","numeric-id":4362970,"id":"Q4362970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700096$2BA4971A-E6C6-4363-8739-7E844E31106F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700096$81C52485-7815-4F5B-BFB7-D068DDEED2E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e59c9e2a7db31130ab9883bc92897bc02b9ee57","datavalue":{"value":{"time":"+1999-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4700096$38C33EBE-1736-4F1D-9133-7C5A4F3988BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"705bff846f50f8b6cb22b3fcc76c7f604d514b0e","datavalue":{"value":"https://semanticscholar.org/paper/061adad30dffd0f85a257d0734a4932f725b0a58","type":"string"},"datatype":"url"},"type":"statement","id":"Q4700096$4EE1E10B-A21A-4D9B-8F23-6987780AC8C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700096$EBADFF4F-128B-4524-AF72-D0EE3E494C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700096$1AD87474-ECFB-42DC-BD90-4A45BB51AA31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f4f8cadd386aa82000c32f86db2391e5481252b","datavalue":{"value":"1355464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700096$D03A5B99-5D18-4333-B0B7-DB08DD80AD56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e13bc8441d7666d4310a93839316ebef38c603a6","datavalue":{"value":"prototype verification system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700096$BA44ACC1-1050-4C16-BF23-6A5F40AE5D59","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700096$136FCDA6-94FC-424C-BAAE-A941B85219EB","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":"Q4700096$B23F04E9-307C-4D9B-8846-E9DC022B5EA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c639ac4e76eb8c8192455ef0965972a906ae1fe3","datavalue":{"value":"W2062224255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700096$CFEC9CB8-5558-440E-928C-05E2CF02B22E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a6e9c7c2bd2fb82a05172af73a7d4054107483a","datavalue":{"value":"10.1093/LOGCOM/9.4.463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700096$9F52D315-BA6B-4BD0-8DAA-1CFC1E4B80A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700096$C9C08609-8C34-44D8-AEB1-ACB558D80588","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132c4127d0f45f4441368c015bf9f611cfec84bc","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725985a0a6a650d6c7b511a463dcbc722da28f1f","datavalue":{"value":{"amount":"+0.756801962852478","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":"Q4700096$3E17C778-B1AD-4DB8-A48A-F02020D382E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ca8a2e01f8239d03ca7a8219c9f482f702440a","datavalue":{"value":{"entity-type":"item","numeric-id":4408808,"id":"Q4408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e0316c83582951caa782a3a2ff1226d7f6f5601","datavalue":{"value":{"amount":"+0.7358770966529846","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":"Q4700096$871C4EFC-9C75-40FD-B930-4998DC55D838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1750cf619f2658beb138f04da8c0ae60005f4a","datavalue":{"value":{"entity-type":"item","numeric-id":639643,"id":"Q639643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9933cf57acc0c08d434ef9e805de4dcb957f06d6","datavalue":{"value":{"amount":"+0.7318314909934998","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":"Q4700096$ECEE96C2-9A9E-4397-BD7F-C5713F626645","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coalgebraic theories of sequences in PVS","badges":[]}}}}}