{"entities":{"Q3783270":{"pageid":5813176,"ns":120,"title":"Item:Q3783270","lastrevid":52548140,"modified":"2026-01-22T22:43:26Z","type":"item","id":"Q3783270","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045713"}},"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":"Q3783270$D175700D-333A-4DB3-A389-170446D2A026","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3b559c47c46d64985ba777614f95d7d0c2f3359","datavalue":{"value":"0642.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783270$D7DE33D8-E7C2-4698-9CA0-7E9A4983B795","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c11351fa7098c649288502141e9dd6545e7fb35","datavalue":{"value":{"entity-type":"item","numeric-id":1382696,"id":"Q1382696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783270$39EAC85A-4A98-4143-AFBB-EB80033C7349","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3783270$CD7C2761-73CF-444F-8EE5-1CDD3FC5CC89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783270$56F9FEA9-C9B6-4654-ACBD-B722BC78D4D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7306cb3d4b072eb07f15f49aeb33776518567f51","datavalue":{"value":"4045713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783270$7BD82006-5D9E-4EC5-B7BC-CD28C550165A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99fb69a56cd4be52bf87430be67838aa7417bb7b","datavalue":{"value":"sequential fragment of multiplicative arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783270$46AA2B38-65A9-4810-89C8-2B09D26C262C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783270$26548A77-59A3-40DC-8341-2B87501B60B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d262aa148863090c47c0579b28076406c0142b2c","datavalue":{"value":"positive induction axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783270$00067068-88EB-40B8-8E20-B2B7F95E20EC","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":"Q3783270$167CFFBF-DBDE-4B1B-AF86-03762B920289","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ba7597552f4d235072d5a833cc94413be77496","datavalue":{"value":{"entity-type":"item","numeric-id":1101100,"id":"Q1101100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e8ea42c5cedb5f6ff6544d05d0b006dc5fcaa3","datavalue":{"value":{"amount":"+0.765666663646698","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":"Q3783270$DC441F48-CB8F-4138-97AE-FAB23AB4AE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cd0d3cabe51e3bd184b261209dc0993e8164c1","datavalue":{"value":{"entity-type":"item","numeric-id":3483283,"id":"Q3483283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70381aa42e3e9245f6f16d9f5f2f9f502aa4f49a","datavalue":{"value":{"amount":"+0.7621408104896545","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":"Q3783270$83D385C1-547A-4954-AB89-B8D702EB2DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26f18a6381eaad99e3a6f3eda8492b1e2e3554a3","datavalue":{"value":{"entity-type":"item","numeric-id":2454548,"id":"Q2454548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063d9da238d5ae5e61f1559764093547df41b70b","datavalue":{"value":{"amount":"+0.7526484131813049","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":"Q3783270$7548E938-1E9B-4402-A140-3FDE2340DE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948c51ca78fd2f7f901011ee5beb79dd03c3e3a0","datavalue":{"value":{"entity-type":"item","numeric-id":4812313,"id":"Q4812313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf032026ae540bf398a2782206cb70c2c3c6ec8","datavalue":{"value":{"amount":"+0.7513990998268127","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":"Q3783270$737E4479-4DE3-4583-9B44-55EFEAA2079A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc5eb0d645108f9acc1667116949bd064f97a2a","datavalue":{"value":{"entity-type":"item","numeric-id":3489993,"id":"Q3489993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0893ebd21cdfa3158716e0567a9dcdd0fea3a651","datavalue":{"value":{"amount":"+0.7513982653617859","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":"Q3783270$2B438D24-60A6-4880-9A6F-F618D29CB751","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3783270","badges":[]}}}}}